This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Lire la suiteThis book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software ...
Lire la suiteThis book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
Lire la suiteThis book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
Lire la suiteThis book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lire la suiteThe objective of this work is to detect Alzheimer’s disease using Magnetic Resonance Imaging. For this, we use a three-dimensional ...
Lire la suiteThis Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
Lire la suiteThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Lire la suiteThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Lire la suiteThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Lire la suiteThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis book constitutes the proceedings of the 21st International Conference on Web Engineering, ICWE 2021, which was supposed ...
Lire la suite